Kerncraft: A Tool for Analytic Performance Modeling of Loop Kernels
نویسندگان
چکیده
Achieving optimal program performance requires deep insight into the interaction between hardware and software. For software developers without an indepth background in computer architecture, understanding and fully utilizing modern architectures is close to impossible. Analytic loop performance modeling is a useful way to understand the relevant bottlenecks of code execution based on simple machine models. The Roofline Model and the Execution-Cache-Memory (ECM) model are proven approaches to performance modeling of loop nests. In comparison to the Roofline model, the ECM model can also describes the single-core performance and saturation behavior on a multicore chip. We give an introduction to the Roofline and ECM models, and to stencil performance modeling using layer conditions (LC). We then present Kerncraft, a tool that can automatically construct Roofline and ECM models for loop nests by performing the required code, data transfer, and LC analysis. The layer condition analysis allows to predict optimal spatial blocking factors for loop nests. Together with the models it enables an ab-initio estimate of the potential benefits of loop blocking optimizations and of useful block sizes. In cases where LC analysis is not easily possible, Kerncraft supports a cache simulator as a fallback option. Using a 25-point long-range stencil we demonstrate the usefulness and predictive power of the Kerncraft tool. Julian Hammer Erlangen Regional Computing Center, Germany, e-mail: [email protected] Jan Eitzinger Erlangen Regional Computing Center, Germany, e-mail: [email protected] Georg Hager Erlangen Regional Computing Center, Germany, e-mail: [email protected] Gerhard Wellein Erlangen Regional Computing Center, Germany, e-mail: [email protected] 1 ar X iv :1 70 2. 04 65 3v 1 [ cs .P F] 1 3 Ja n 20 17 2 J. Hammer, J. Eitzinger, G. Hager, and G. Wellein
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling, Control and Simulation of Cascade Control Servo System for one Axis Gimbal Mechanism
The gimbal stabilization mechanism is used to provide the stability to an object mounted on the gimbal by isolating it from the base angular motion and vibration. The purpose of this paper is to present a model of control servo system for one axis gimbal mechanism using a cascade PID controller. The gimbal torque relationships are derived by taking into consideration the base angular motion. Th...
متن کاملUnderstanding memory effects in the automated generation of optimized matrix algebra kernels
Efficient implementation of matrix algebra is important to the performance of many large and complex physical models. Among important tuning techniques is loop fusion which can reduce the amount of data moved between memory and the processor. We have developed the Build to Order (BTO) compiler to automate loop fusion for matrix algebra kernels. In this paper, we present BTO’s analytic memory mo...
متن کاملGlobal Stabilization of Attitude Dynamics: SDRE-based Control Laws
The State-Dependant Riccati Equation method has been frequently used to design suboptimal controllers applied to nonlinear dynamic systems. Different methods for local stability analysis of SDRE controlled systems of order greater than two such as the attitude dynamics of a general rigid body have been extended in literature; however, it is still difficult to show global stability properties of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1702.04653 شماره
صفحات -
تاریخ انتشار 2017